von Neumann's trace inequality